Systematic testing of parallel programs

The paper presents a new structural model of parallel software deened as a graph consisting of interconnected sequential modules. This representation facilitates the testing process, because the number of cases to deal with during the test is much lower than with the use of traditional owgraph representations. We propose a systematic testing procedure based on this new model. Our procedure allows to deene a testing scenario based on the concept of a test window. Various testing scenarios may be deened for windows, with regard to speciic classes of errors, testing strategies, internal system state and external environment settings. A tool supporting this procedure is currently under development for the European Copernicus SEPP project 13]; basic functions, structure and principles of this tool are brieey speciied and discussed.